hasDoubleValue

optional double double_value = 3;

Return

Whether the doubleValue field is set.